lim(x→0) (xcosx - log(1 x))